Mobile
Log In Sign Up
Home > english-chinese > "check time" in Chinese

Chinese translation for "check time"

超记时间
Example Sentences:
1.Removing irrelevant atomic formulas for checking timed automata efficiently . in proc
因此,无关的原子约束是广泛存在的。
2.Code - checking time
核码时间
3.Confirm the checking time , and have a good preparation . such as : contact owners , arrange cars
确定看房时间,做好充分准备,如:联系好业主,安排好看房班车等。
4.In the process of real - time video coding , it is valuable to reduce the checking times to 4 4 blocks
有效减少4 4块预测模式的判断次数,在实时视频编码过程中很有价值。
5.Checking timed automata for linear duration properties . journal of computer science and technology , sept . 2000 , 15 : 423 - 429 . 9 li yong , dang van hung
由可达性算法得到的符号状态中,通常有着n n 1 2个约束n为时钟个数。
6.In this paper , it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time - and space - efficiency . such atomic formulas are called as irrelevant atomic formulas . a method is also presented to detect irrelevant formulas based on the test - reset information about clock variables
一个时间自动机是一个五元组n , l 0 , c , e , i ,其中n为一个有穷的位置集合, l 0n是初始状态, c是一个取实数值的时钟变量的有穷集合, e ng c 2 cn是转换的集合。
7.The beacon receiver tester studied in this paper is a part of domestic ground check equipments of the some type airplane that our army imported from abroad . it is a new type of general - service check machine , and it can check if the work of various types of airborne beacon receiver testers is normal fleetly and accurately . thus , not only the operate personnel can be reduced to one person , but also the check time is short , and the check efficiency is high
本课题所研究的军用信标机检查仪是我军从国外进口某型飞机地面检测设备国产化的一部分,是一种新型的通用信标检查仪器,它可以快速准确地检查多种机型的机载信标机是否工作正常,不但操作人员可以减少到一人,而且检查时间短,检查效率高,并有很强的通用性,适用于我军航空兵部队多种机型的机载信标接收机。
Similar Words:
"check this one out" Chinese translation, "check throat" Chinese translation, "check through" Chinese translation, "check ticket" Chinese translation, "check tickets and change on the spot" Chinese translation, "check time break" Chinese translation, "check to bearer" Chinese translation, "check to order" Chinese translation, "check to see" Chinese translation, "check to the king adn queen" Chinese translation